Bidirectionalizing graph transformations
نویسندگان
چکیده
منابع مشابه
Reversing graph transformations
In recent work with Vincent Danos and Jean Krivine the author introduced a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved backtracking mechanisms. Here we shall discuss how the framework can be applied to the well-known formalism of double-pushout graph tr...
متن کاملGlobal Graph Transformations
In this paper, we consider Global Graph Transformations where all occurrences of a set of predefined local rules are applied altogether synchronously so that each part of the original graph gives rise to a part of the result graph, without any reference to the original one. The particularity here is that our framework is deterministic. This is achieved by incorporating a notion of mutual agreem...
متن کاملModeling with Graph Transformations
In this paper we give a general overview of graph grammars and graph transformation as important modeling techniques for several areas in computer science. In particular we present the main ideas of the algebraic approach, which is the basis for a categorical theory of rule-based transformations of high-level structures. 1 General Overview of Graph Transformation The research area of graph gram...
متن کاملGraph Polynomials and Graph Transformations in Algebraic Graph Theory
The thesis consists of two parts. In the first part we study two graph transformations,namely the Kelmans transformation and the generalized tree shift. In the second part of thisthesis we study an extremal graph theoretic problem and its relationship with algebraic graphtheory. The main results of this thesis are the following. • We show that the Kelmans transformation is a very ef...
متن کاملGraph Transformations in Relational Databases
We present a novel approach to implement a graph transformation engine based on standard relational database management systems (RDBMSs). The essence of the approach is to store not only the instance graphs in relational database tables but also keep track explicitly of all the matchings of graph transformation rules in database views. Furthermore, the model manipulation prescribed by the appli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2010
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1932681.1863573